$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $L_{1}$, $L_{2}$:($A$ List). l\_intersection(${\it eq}$;$L_{1}$;$L_{2}$) $\in$ ($A$ List)